true predicate

[计] 真谓词